101. Algebra and Coalgebra in Computer Science :
المؤلف: José Luis Fiadeiro
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra -- Congresses.,Algebra.,Computer science -- Mathematics -- Congresses.
102. Algebra and coalgebra in computer science :
المؤلف: Reiko Heckel, Stefan Milius (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
103. Algebraic Informatics
المؤلف: \ Andreas Maletti (Ed.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Algebra -- Data processing -- Congresses.,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار ,زبانهای برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,جبر -- داده‌پردازی -- کنگره ها
رده :
QA
76
.
76
.
A55
2015
E-Book
,
104. Algebraic and coalgebraic methods in the mathematics of program construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, revised lectures
المؤلف: Roland Backhouse, Roy Crole, Jeremy Gibbons, )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics,Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
2297
105. Algebraic and logic programming :
المؤلف: Giorgio Levi, Mario Rodríguez Artalejo (Eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebraic logic-- Congresses,Logic programming-- Congresses
رده :
QA76
.
6
.
A45843
1994
106. Algebraic and logic programming :
المؤلف: J. Grabowski, P. Lescanne, W. Wechler (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebraic logic -- Congresses.,Algebraic logic.,Logic programming -- Congresses.
رده :
QA76
.
6
J473
1989
107. Algebraic and logic programming : International Workshop, Gaussig, GDR, Novermber 14-18, 1988 : Proceedings
المؤلف: J. Grabowski, P. Lescanne, W. Wechler )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
343
108. Algebraic and logic programming : Second International Conference, Nancy, France, October 1-3, 1990 : Proceedings
المؤلف: H. Kirchner, W. Wechler, )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
463
109. Algebraic and logic programming : Third International Conference, Volterra, Italy, September 2-4, 1992 : proceedings
المؤلف: H. Kirchner, G. Levi, eds
المکتبة: (طهران)
موضوع: Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
632
110. Algebraic and logic programming : international workshop, Gaussig, GDR, November 14-18, 1988 : proceedings
المؤلف: J. Grabowski, P. Lescanne, W. Wechler )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
6
.
A4583
1988
111. Algebraic and logic programming, international workshop, Gaussig, GDR, November 1988, proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Algebraic logic-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
10
.
I5
1988
112. Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic programming-- Congresses,، Algebraic logic-- Congresses
رده :
QA
76
.
6
.
A4584
1990
113. Algebraic and logic programming: 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996 : proceedings
المؤلف: Michael Hanus, Mario Rodriguez Artalejo )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
1139
114. Algebraic and logic programming : 4th International Conference, ALP'94, Madrid, Spain, September 14-16, 1994 : proceedings
المؤلف: Giorgio Levi, Mario Rodriguez Artalejo )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
850
115. Algebraic and logic programming : 6th International Joint Conference, ALP'97-HOA'97, Southampton, UK, September 3-5, 1997 : proceedings
المؤلف: Michael Hanus, Jan Heering, Karl Meinke, )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming,Congresses ، Algebraic logic,Congresses ، Rewriting systems )Computer science(
رده :
QA
76
.
L28
Vol
.
1298
116. Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic programming-- Congresses,، Algebraic logic-- Congresses
رده :
QA
76
.
6
.
A45842
1992
117. Algebraic informatics :
المؤلف: Miroslav Ćirić, Manfred Droste, Jean-Éric Pin (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra-- Data processing, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Algebra-- Data processing.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
7
118. Algorithmic aspects in information and management :
المؤلف: Shaojie Tang, Ding-Zhu Du, David Woodruff, Sergiy Butenko (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer algorithms, Congresses.,Management science-- Data processing, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer algorithms.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Management science-- Data processing.,Mathematical theory of computation.
رده :
QA76
.
9
.
A43
119. Algorithmic decision theory :
المؤلف: Ronen I. Brafman, Fred S. Roberts, Alexis Tsoukiàs (editions.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Automatic theorem proving, Congresses,Computer algorithms, Congresses,Decision making-- Data processing, Congresses
رده :
QA76
.
9
.
A96
A38
2011
120. Algorithmic languages and calculi: IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 Feb. 1997, Alsace, France
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Computer programming-- Congresses,، Programming languages )Electronic computers(-- Congresses,، Computer algorithms-- Congresses
رده :
QA
76
.
6
.
I1775
1997
